Electronic Books

Total Books: 1 - 20 /603

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

This book contains the proceedings of the International Tax Conference on the c- th th mon consolidated corporate tax base ...

This is a history of parametric statistical inference, written by one of the most important historians of statistics of the ...

According to Leo Breiman (1968), probability theory has a right and a left hand. The right hand refers to rigorous mathematics, ...

SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...

Customer integration in the early innovation phase has been considered the method of choice in theory and practice. Growing ...

This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...

This book is the first comprehensive treatment, of structural credit risk models for the simultaneous and consistent pricing ...

Part of the series sponsored by the European Association of Neurosurgical Societies. The Advances section presents fields ...

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...

This book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December ...

Incorporates the new tax rates and other impacts of the Tax Cuts and Jobs Act and will assist you in understanding FASB ASC ...

The book gives generations of instructors and students a comprehensive knowledge of the specialized accounting and financial ...

Ad-Hoc Networking Towards Seamless Communications is dedicated to an area that attracts growing interest in academia and ...

The book presents basic concepts of adaptive signal processing and filtering in a concise and straightforward manner. It ...

Adaptive radio transceivers require a comprehensive theoretical framework in order to optimize their performance. Adaptive ...

This book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and ...

Adaptive Techniques for Mixed Signal Sytem on Chip discusses the concept of adaptation in the context of analog and mixed ...

This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization ...

This book serves as an introduction to the state of the art on data warehouse design, with many references to more detailed ...

Total Books: 1 - 20 /603